Aborted-Termination Redux